Qualitative and Quantitative Spatiotemporal Knowledge Representation and Reasoning Using Point Graphs

The paper presents an overview of a formalism, called Point Interval Logic, and its application for temporal and spatial knowledge representation and reasoning. A graph based approach, called Point Graph, is shown to implement the inference mechanism of the logic for both temporal and spatial statements. The formalism handles both qualitative and quantitative aspects of the information. A discussion on some unresolved problems in integrating the two types of information into a single logic concludes the paper. C3I Center George Mason University Fairfax, VA 22030 • The work was carried out with support provided by the Air Force Office of Scientific Research under contract numbers F49620-95-1-0134 and F49620-98-1-0179, and the Office of Naval Research under contract number N00014-93-1-0912. • 18 International Joint Conference on Artificial Intelligence, Acapulco, Mexico.